Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·3h·
Discuss: www.blogger.com
🌳Persistent Data Structures
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
The Generativity Pattern in Rust
arhan.sh·22h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
GoLang101: Functions, Methods, and Go’s Minimal Object-Oriented Style
dev.to·3d·
Discuss: DEV
🔗Concatenative Programming
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·2d·
Discuss: Hacker News
🔄Lens Laws
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·9h
✅Archive Validation
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
A Library Approach to Constant Template Parameters
brevzin.github.io·3d·
Discuss: Hacker News, r/cpp
🦀Rust Macros
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·1d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types
A New Concurrent ML in Guile Scheme
wingolog.org·8h·
Discuss: Hacker News
🔄Lens Laws
Beyond Manually Designed Pruning Policies with Second-Level Performance Prediction: A Pruning Framework for LLMs
arxiv.org·13h
💻Local LLMs
ECMA-262, 16th edition, June 2025
262.ecma-international.org·2d·
Discuss: Hacker News
🎯Gradual Typing
Understanding Stack Traces in Elixir
blog.appsignal.com·6h·
Discuss: Hacker News
🐚Shell Monads
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·2h·
Discuss: Hacker News
🧪Binary Fuzzing